limit
- a limit of diagram \(F: D \to C\) in a category \(C\) is
- an object \(\text{lim}\ F\) of \(C\) equipped with morphisms to the objects \(F(d)\) for all \(d \in D\)
- such that everything in sight commutes
- Moreover, it is the universal object with the property that
- it is the "most optimized solution" to the problem of finding such thing
- ...
...
Backlinks
diagram
the concept is often used when talking about (co)limits - we say "the limit or colimit of a diagram"
universal construction
limit/colimit